Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
541	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
542	Microsoft Word - Attachment B - Verification Review Panel Charge Membership.docx Add to Reading List Source URL: www.chesapeakebay.net Language: English - Date: 2012-05-11 15:14:48 Chesapeake Bay Formal verification State governments of the United States Chesapeake Bay Watershed Chesapeake Bay Program
543	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
544	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
545	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
546	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
547	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
548	Cooperative Verified Dismantlement of Nuclear Programs—Part II Add to Reading List Source URL: isis-online.org Language: English - Date: 2009-08-05 11:20:19 Centrifuges Gas centrifuge Isotope separation Nuclear chemistry Uranium Formal verification Urenco Group Institute for Science and International Security Nuclear technology Nuclear proliferation Nuclear physics
549	Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:11:04 Oscillators Concurrency Electronic design Phase-locked loop Charge pump Petri net Reachability Electronic engineering Electronics Electrical engineering
550	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering

UPDATE